/**
 * GP2D12 PIC32 Library
 * Joel PC Filho
 * 13/08/2013
 */

// Global Constant Definitions

/**
 * GP2D12 ADC Channel Number
 */
#define GP2D12_CHANNEL  4

// GP2D12 Functions

/**
 * Initialize GP2D12 and ADC Settings
 */
void initializeGP2D12();

/**
 * Returns last measured distance by GP2D12
 */
double getGP2D12Distance();

/**
 * Enable GP2D12 update (well, it doesn't auto-update anymore)
 */

void updateGP2D12();

/**
 * GP2D12 Interrupt Handler
 * Gets new frequency from GP2D12 ADC channel
 */
//void __ISR(_ADC_VECTOR, ipl2) interruptGP2D12(void);